Buy Used and New Naijun Zhan Books

Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday: 11180 (Lecture Notes in Computer Science)

by Cliff Jones,Ji Wang,Naijun Zhan

ISBN 13: 9783030014605

Format: Paperback (276 pages)
Publisher: Springer
Published: 29 Sep 2018

Save for later

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

by Naijun Zhan,Shuling Wang,Hengjun Zhao

ISBN 13: 9783319836386

Format: Paperback (276 pages)
Publisher: Springer
Published: 29 Jun 2018

Save for later

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings: 13047 (Lecture Notes in Computer Science, 13047)

by Marieke Huisman,Corina Pasareanu,Naijun Zhan

ISBN 13: 9783030908690

Format: Paperback (817 pages)
Publisher: Springer
Published: 10 Nov 2021

Save for later